gdk: Make background changes queue a repaint

For client-side windows, we need to queue a repaint when the background
changes. For native windows, the windowing system does take care of it,
but client-side windows are our own, so we gotta do it manually.

https://bugzilla.gnome.org/show_bug.cgi?id=652102

diff --git a/gdk/gdkwindow.c b/gdk/gdkwindow.c
index 210e517ac2f1e749288c61437513ed0d372e578e..cc2d9c2edbb147a45d6fde1e79403c4ea09e6132 100644 (file)
--- a/gdk/gdkwindow.c
+++ b/gdk/gdkwindow.c
@@ -6548,6 +6548,8 @@ gdk_window_set_background_pattern (GdkWindow *window,
       GdkWindowImplClass *impl_class = GDK_WINDOW_IMPL_GET_CLASS (window->impl);
       impl_class->set_background (window, pattern);
     }
+  else
+    gdk_window_invalidate_rect_full (window, NULL, TRUE, CLEAR_BG_ALL);
 }
 
 /**